Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔍Query Compilers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
📐Data Modeling
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·1d·
Discuss: r/programming
☁️Serverless Rust
A Rust Shaped Hole
mnvr.in·16h·
Discuss: Hacker News
🔌Embedded Rust
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·6h·
Discuss: Hacker News
🔐Decentralized Identity
Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·23h
🧬Computational Biology
Functional Programming in 40 Minutes • Russ Olsen • GOTO 2024
youtube.com·6d
☁️Serverless Rust
A distributed systems reliability glossary
antithesis.com·12h·
Discuss: Lobsters, Hacker News, r/programming
🔄CRDT
Song recommendations with pipes and filters
blog.ploeh.dk·1d
🌊Event Streaming
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
📐Data Modeling
ML pipelines with DDD Frameworks mixed with functional and command patterns
lennardong.bearblog.dev·2h
☁️Serverless Rust
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·12h·
Discuss: Hacker News, r/programming
🔌Embedded Rust
The Best C++ Library
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News, r/cpp
🔌Embedded Rust
A Minimal DDPM
github.com·1h·
Discuss: Hacker News
👥Digital Twins
Inheritance over composition, sometimes
death.andgravity.com·20h
☁️Serverless Rust
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
☁️Serverless Rust
Memory Management & Garbage Collection in Unreal Engine 5 (Updated)
mikelis.net·3h
🔍Static Analysis
The Way I Code (and have been coding for 30 years)
rosswintle.uk·3d
🔍Static Analysis
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·6h·
Discuss: Hacker News
🧬Computational Biology
MatrixTransformer–A Unified Framework for Matrix Transformations
news.ycombinator.com·1d·
Discuss: Hacker News
💻Local LLMs